Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Unification Algorithms
From CAP to GAP?
fsharpforfunandprofit.comยท12hยท
Discuss: DEV
๐ŸงชTesting Compilers
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ“‹Backus-Naur Form
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ›๏ธElm Architecture
An enough week
blog.mitrichev.chยท23hยท
Discuss: blog.mitrichev.ch
๐ŸŒฒDeforestation
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
Discuss: Hacker News, r/programming
๐Ÿ“Rope Editors
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
Discuss: Hacker News, r/programming
๐ŸคZipper Structures
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
The Library Method: Understanding @cache
dev.toยท17hยท
Discuss: DEV
๐ŸŽฏSymbolic Execution
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท15h
๐Ÿ”ML Language
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ“‹Datalog
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
Logical Operators & Control Flow
github.comยท9hยท
Discuss: DEV
๐ŸŽญDelimited Continuations
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท15h
ฮปLambda Calculus
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.comยท9h
โœจEffect Inference
Three ways formally verified code can go wrong in practice
buttondown.comยท1h
๐Ÿ“œProof Languages
Categorical systems theory
topos.instituteยท7h
๐Ÿ”—Category Theory
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐Ÿ“กErlang BEAM
Cross-framework hybrid artificial intelligence for high-penetration renewable energy integration: Multi-regional forecasting and adaptive control
sciencedirect.comยท1h
๐Ÿ›๏ธElm Architecture